Ermenilerin Kontrol Noktası: İskenderun

ATM Yerleşim Noktası Seçimi Karar Destek Sistemi

Sayısal Devrelerin Model Kontrol Tabanlı Testi

Özet Bu tezin amacı yazılım mühendisliği alanında yaygınca kullanılan bir test yöntemi olan model doğrulama tabanlı test yönteminin, devrelerin gecikme hata testinin denetlenmesi işlemine uygulamaktır. Devre gecikme hatası devrelerin istenilen zamanda istenilen işlevin yerine getirilmemesinden kaynaklanmaktadır. Bu metodolojide, öncelikle devre bir zamanlı otomata olarak modellenir ve böylece d...

Atış Kontrol Yazılımlarında Ürün Hattı Yaklaşımının Uygulanması

Özet. Yazılım geliştiren birçok firma, içerdikleri özelliklerin değiştirilmesiyle birbirinden ayrılan fakat temelde birbirine çok benzeyen yazılım aileleri üretmektedir. Bu yazılım ailelerinin Yazılım Ürün Hattı yaklaşımıyla geliştirilmesi başta maliyet, kalite ve markete çıkış süresi olmak üzere pek çok alanda önemli avantajlar getirmektedir. Merkezinde sistematik yeniden kullanımın yer aldığı...

E-Fatura Yapisal ve Anlamsal Kontrol Yaziliminin Performans Analizi

Özetçe. E-fatura sisteminin zorunlu hale getirilmesiyle birlikte kullanımı oldukça yaygınlaşmıştır. Bu da beraberinde yazılımsal bir yük ortaya çıkarmaktadır. e-Fatura Schematron kurallarının kontrolü de bu yükün önemli bir kısmını oluşturmaktadır. Bu çalışmada e-Fatura Schematron kurallarının tek bir XSLT dosyasında çalıştırılması ile her bir kuralın farklı XSLT dosyalarında çalıştırılma perfo...

DOOB: RAHAT Ürün Olarak Komuta Kontrol Yazılımı ve Geliştirme Deneyimleri

Özet. Komuta kontrol bilgi sistemleri (KKBS), askeri organizasyonlar tarafından her türlü planlama, görevlendirme ve harekât faaliyetlerinin bütünleştirilmesi ve gerçekleştirilmesinin kolaylaştırılması amacıyla kullanılmaktadır. Her ne kadar farklı askeri organizasyonlar kendi KKBS’leri için farklı gereksinim kümeleri ortaya koysa da, tüm organizasyonlar için ortaklaştırılabilecek bir takım ger...